一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

两种方法制备ITO薄膜的红外特性分析

比较了用电束加热蒸发法和直流磁控溅射法制备的氧化锡铟(ITO)薄膜在红外波段的光学特性实验发现,通过直流磁控溅射在常温下制备的ITO薄膜在红外波段折射率稳定、消光系数小,比电子束加热蒸发制备的膜有较高的透过率在波长1550nm附近的透过率可达86%以上,消光系数约为004,方电阻最低为100Ω/□.     

基因芯片荧光图象采集与分析

描述了基因芯片荧光图象的光学共聚焦成象,大范围高速扫描与控制,数据采集的原理和方法.并讨论了基因芯片荧光图象的分析算法,即模板定位与阈值分割相结合的半自动算法,并将其计算结果与完全采用人工分割算法的结果进行了比较.     

一种不等带宽光学梳状滤波器

提出了一种新型—Michelson—三面镜FabryPerot型50GHz不等带宽光学梳状滤波器设计方案,分析和模拟表明:该器件将一路信道间隔为50GHz的输入信号分离成信道间隔为100GHz的奇偶两路输出信号,其中在3dB处,奇数信道带宽大于30GHz用于10Gb/s传输,偶数信道带宽大于60GHz用于40Gb/s传输对于将来的40Gb/s系统,该器件具有优势.     

电子束流品质对自由电子激光小信号增益影响的计算

对电子束有一定初始能量分散或角度分散时的自由电子激光小信号增益用较简便的方法进行了分析计算,并给出了一个渐近公式,结果与用计算机模拟解自由电子激光微分方程组得到的结果一致。     

用于机械振动实时监测的光纤光栅有源传感装置

把一对中心反射波长分别为1562.11nm和1562.71nm的光纤光栅粘贴在均质、等厚、等腰三角形悬臂梁上下表面作为环形腔光纤激光器端镜，当机械振动激励自由端时，通过观测激光输出脉冲，地施加于自由端的机械振动的频率进行了实时监测；观察两光栅波长漂移量差值的变化，可在0～6.1mm的范围内判断所测振动的振幅。低于100Hz时，实验结果与实际值基本吻合。     

量子算法的NMR实现方法

量子计算机是一种以量子耦合方式进行信息处理的装置[1 ] 。原则上 ,它能利用量子相干干涉方法以比传统计算机更快的速度进行诸如大数的因式分解、未排序数据库中的数据搜索等工作[2 ] 。建造大型量子计算机的主要困难是噪音、去耦和制造工艺。一方面 ,虽然离子陷阱和光学腔实验方法大有希望 ,但这些方法都还没有成功实现过量子计算。另一方面 ,因为隔离于自然环境 ,核自旋可以成为很好的“量子比特” ,可能以非传统方式使用核磁共振 (NMR)技术实现量子计算。本文介绍一种用NMR方法实现量子计算的方法 ,该方法能够用比传统方法少的步骤解决一个纯数学问题。基于该方法的简单量子计算机使用比传统计算机使用更少的函数“调用”判断一未知函数的类别。     

基于VolSurf参数的化合物水溶性QSPR分析

利用分子的VolSurf参数预测化合物的水溶解度并阐明有利于水溶解度的主要分子结构特征.被测化合物包括185个共两大系列分子,使用偏最小二乘判别分析和多元线性回归方法在实验数据和分子特征之间建立相关性,均得到较好的结果.以70个化合物所建立的训练集模型对其余115个化合物有较好的预测能力.参数分析表明分子内较大的亲水区域对水溶解度有利;分子质心与疏水区、亲水区之间的不平衡性越高,水溶解度越大;分子量及体积大的分子对其水溶解度不利.     

OADM环网的实验研究

研究了光分插复用器(OADM)的关键技术,重点分析了相关的实现技术,完成了利用OADM构建全光环网的实验研究,给出了重要的实验数据,包括眼图、光谱图、光信噪比、保护与恢复等,并对这些实验数据进行了分析,为光传送网的设计与构建提供了重要的参考依据.     

双无限随机环境中马氏链的瞬时性与不变函数

在随机环境中马氏链的研究领域,引入了一类π-不可约、常返和瞬时性的概念,给出了π-不可约链是瞬时链的一个充要条件,引入了双无限随机环境中马氏链不变函数的概念,讨论了它们的存在性及基本性质。最后,利用不变函数的性质,给出了π-不可约链是瞬时链的一个判别准则,此准则与不变函数有关。